$\forall$$x$, $y$:$\mathbb{Z}$. ($x$ $\ast$ $y$) $\sim$ ($x$ $\ast$ $y$)